СИНТЕЗ ИЕРАРХИЧЕСКОЙ ДИАГНОСТИЧЕСКОЙ МОДЕЛИ ПОТОКОВОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ

Лукоянов Е.В., Грузликов А.М. Синтез иерархической диагностической модели потоковой вычислительной системы реального времени // Научно-технический вестник информационных технологий, механики и оптики. 2020. Т. 20. № 5. С. 677–682. doi: 10.17586/2226-1494-2020-20-5-677-682

 Предмет исследования. Рассмотрены вопросы проектирования средств диагностирования нарушений в адресации информационных обменов между программными модулями для потоковых вычислительных систем реального времени. Несмотря на декомпозицию процессов проектирования в таких системах, вопросы диагностирования и повышения отказоустойчивости остаются актуальными для каждого уровня иерархии. Метод. Предлагаемые процедуры синтеза иерархической модели потоковой вычислительной системы являются развитием метода тестового диагностирования на основе использования параллельной модели. Основные результаты. Приведено краткое описание подхода к тестовому диагностированию на основе параллельной модели. Разработан алгоритм синтеза иерархической диагностической модели. Модель обеспечивает минимизацию количества диагностической информации, передаваемой по каналам обмена, снижая уровень вводимой избыточности и повышая тем самым уровень надежности. Практическая значимость. Разработанная иерархическая модель позволяет существенно сокращать время проектирования средств диагностирования за счет снижения необходимого ко- личества диагностических алгоритмов.

1. Isermann R. Fault-Diagnosis Applications: Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-Tolerant Systems. Springer Science & Business Media, 2011. XVI, 354 p. doi: 10.1007/978-3-642-12767-0

2. Issues of Fault Diagnosis for Dynamic Systems / ed. by R.J. Patton, P.M. Frank, R.N. Clark. Springer Science & Business Media, 2000. 597 p. doi: 10.1007/978-1-4471-3644-6

3. Колесов Н.В., Толмачева М.В., Юхта П.В. Системы реального времени. Планирование, анализ, диагностирование. СПб.: ОАО «Концерн «ЦНИИ «Электроприбор», 2014. 180 с.

4. Грузликов А.М., Колесов Н.В., Лукоянов Е.В. Тестовое диагностирование нарушений адресации информационных обменов в вычислительных системах с использованием параллельной модели // Известия Российской академии наук. Теория и системы управления. 2018. № 3. С. 76–89. doi: 10.7868/S0002338818030071

5. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория соответствия для систем с блокировками и разрушением. М.: Физматлит, 2008. 412 с.

6. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование конечных автоматов для тестирования программ // Программирование. 2000. Т. 26. № 2. С. 12–28.

7. Ривкин Б.С. Первые отечественные навигационные комплексы для гражданских судов // Гироскопия и навигация. 2018. Т. 26. № 4. С. 96–104. doi: 10.17285/0869-7035.2018.26.4.096-104

8. Грузликов А.М., Колесов Н.В. Дискретно-событийная диагностическая модель распределенной вычислительной системы. Независимые цепи // Автоматика и телемеханика. 2016. № 10. С. 140–155.

9. Introduction to Discrete Event Systems / ed. by C.G. Cassandras, S. Lafortune. 2nd ed. New York: Springer, 2008. 770 p. doi: 10.1007/978-0-387-68612-7

10. Zaytoon J., Lafortune S. Overview of fault diagnosis methods for Discrete Event Systems // Annual Reviews in Control. 2013. V. 37. N 2. P. 308–320. doi: 10.1016/j.arcontrol.2013.09.009

11. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы. Построение и анализ. М.: Издательский дом «Вильямс», 2009. 1296 с.

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License